

#include "FreeRTOS.h"
#include "task.h"
#include "timers.h"

#if (!((configSUPPORT_STATIC_ALLOCATION == 1) && (configKERNEL_PROVIDED_STATIC_MEMORY == 1) && (portUSING_MPU_WRAPPERS == 0)))
StaticTask_t xTimerTaskTCB;
StackType_t uxTimerTaskStack[configTIMER_TASK_STACK_DEPTH];
__attribute__((weak)) void vApplicationGetTimerTaskMemory(StaticTask_t **ppxTimerTaskTCBBuffer,
														  StackType_t **ppxTimerTaskStackBuffer,
														  configSTACK_DEPTH_TYPE *puxTimerTaskStackSize)
{

	*ppxTimerTaskTCBBuffer = &(xTimerTaskTCB);
	*ppxTimerTaskStackBuffer = &(uxTimerTaskStack[0]);
	*puxTimerTaskStackSize = configTIMER_TASK_STACK_DEPTH;
}

StaticTask_t xIdleTaskTCB;
StackType_t uxIdleTaskStack[configMINIMAL_STACK_SIZE];
void vApplicationGetIdleTaskMemory(StaticTask_t **ppxIdleTaskTCBBuffer,
								   StackType_t **ppxIdleTaskStackBuffer,
								   configSTACK_DEPTH_TYPE *puxIdleTaskStackSize)
{

	*ppxIdleTaskTCBBuffer = &(xIdleTaskTCB);
	*ppxIdleTaskStackBuffer = &(uxIdleTaskStack[0]);
	*puxIdleTaskStackSize = configMINIMAL_STACK_SIZE;
}
#endif